منابع مشابه
Reflections on Kurt Gödel
Except for a few minor corrections this second printing is identical to the first ([Wang 1987]). The book is meant to be a first attempt to consider G’s life and work as a whole within an inclusive context that, except maybe for chapters 6, 10, and 11, is accessible to most thoughtful people. The many personal contacts that W had with G during the later years of G’s life makes him an important ...
متن کاملINTERNET - DRAFT Kurt
This document provides procedures for registering extensible elements of LDAP (Lightweight Directory Access Protocol). The document also provides guidelines to IANA (Internet Assigned Numbers Authority) describing conditions under which new values can be assigned. Zeilenga IANA Considerations for LDAP [Page 1] INTERNET-DRAFT draft-ietf-ldapbis-iana-05.txt 20 December 2001
متن کاملGap Sheaves and Vogel Cycles
Throughout our work on the Lê cycles of an affine hypersurface singularity (see [M2-5]), our primary algebraic tool consisted of a method for taking the Jacobian ideal of a complex analytic function and decomposing it into pure-dimensional “pieces”. These pieces were obtained by considering the relative polar varieties of Lê and Teissier (see, for example, [L-T], [T1], [T2]) as gap sheaves in t...
متن کاملKurt Gödel and Computability Theory
Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Historia Mathematica
سال: 1986
ISSN: 0315-0860
DOI: 10.1016/0315-0860(86)90089-3